Section: Partnerships and Cooperations

European Initiatives

FP7 Projet

FORMATH

• Title: FORMATH

• Type: COOPERATION (ICT)

• Defi: FET Open

• Instrument: Specific Targeted Research Project (STREP)

• Duration: March 2010 - February 2013

• Coordinator: Univ Gothenburg (Sweden)

• Others partners: University of Gothenburg, Radboud University Nijmegen, Universidad de la Rioja, INRIA.

• See also: FORMATH

• Abstract: This project proposes to develop libraries of formalized mathematics concerning algebra, linear algebra, real number computation, and algebraic topology.